symbolic logician

Noun
  1. a person skilled at symbolic logic
symbolic logician
A symbolic logician writes a complex proof on a whiteboard.